منابع مشابه
Avant-propos.
Kantorovitch's theorem gives su cient conditions for the convergence of Newton's method. We presenta full formalization of this theorem in the case of a real function. The work is accomplished inside the Coqproof assistant and it is based on the Reals library provided by the theorem prover. For the general case ofthe theorem we rst describe a way to represent concepts from multivari...
متن کاملUtilisation de concepts visuels et de la diversité visuelle pour améliorer la recherche d'images
RÉSUMÉ. Dans cet article, nous étudions (i) comment extraire et exploiter des concepts visuels pour améliorer la recherche d’images basée sur le texte, et (ii) comment diversifier les résultats pertinents obtenus. Nous utilisons d’abord des forêts d’arbre de décisions flous (FFDTs) pour détecter les concepts dans les images, puis nous découvrons à l’aide de l’analyse des cooccurrences des relat...
متن کاملSpécificité de la transformation sarcomateuse de la maladie de Recklinghaussen: a propos de deux cas et revue de la littérature
5 à 10% des patients atteints de neurofibromatose de type 1 (NF1) développent des tumeurs malignes des gaines des nerfs périphériques (Malignant peripheral nerve sheath tumor: MPNST) contre 0.001% dans la population générale. A travers deux observations et une revue de la littérature nous discuterons la spécificité de la transformation sarcomateuse au cours de la neurofibromatose de type 1. Pan...
متن کاملHernie inguinale de la vessie: à propos de 8 cas
Décrire notre expérience de la prise en charge des hernies inguinales de la vessie (HIV). Il s'agit d'une étude rétrospective descriptive colligeant les dossiers des patients opérés pour une HIV entre janvier 2005 et décembre 2012. Les paramètres suivants ont été étudiés: l'âge des patients, les aspects anatomo-cliniques de la hernie, les circonstances de découverte, l'attitude thérapeutique et...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Hermès
سال: 2011
ISSN: 1963-1006,0767-9513
DOI: 10.4267/2042/45496